$\forall$$x$:$\mathbb{Z}$. (sign($x$) $\ast$ absval($x$)) = $x$